English Computing Dictionary
▪ logic design language
▪ logic emulator
▪ logic for computable functions
▪ logic gate
▪ logic programming
◊ LOGIC FOR COMPUTABLE FUNCTIONS
Logic for Computable Functions
(LCF) Part of the {Edinburgh proof assistant}.
[What is it? Address?]
(1995-01-06)
logic design language
logic emulator
logic for computable functions
logic gate
logic programming
Copyright © 2022 NeoDict.Com. All rights reserved. Email:
mailto:
[email protected]